#!/bin/sh
#
# restart the webstar app
#

WSPID=`ps acx | grep WSWebServer | sed -n 's/[ ]*\([0-9]*\).*/\1/pg'`

if ( test -n "$WSPID" ) then
	kill -9 $WSPID
fi
